give a proof of the existence of nonlocal influences acting on correlated spin-1/2 particles in the singlet state which does not require any particular interpretation of quantum mechanics (QM). (Except Stapp holds that the proof fails under a many-worlds interpretation of QM—a claim we analyse in 1.2.) Recently, in responding to Redhead's ([1987], pp. 90-6) criticism that the Stapp 1 proof fails under an indeterministic interpretation of QM, Stapp [1989] (henceforth Stapp 2), has revised the logical structure of his proof (...) including its crucial locality assumption. Our main aim is to show that this revision is a step in the wrong direction because it faces two difficulties which undermine the resulting proof's significance (3.1) and validity (3. 2). We also clarify and extend the Stapp 1 proof (1. 1) with the aid of Lewis' analysis of counterfactuals (1. 2) and causal dependence (2. 2 and 2. 3). In so doing, we are able to identify two new defects in the Stapp 1 proof (1. 3 and 2. 1) in addition to corroborating Redhead's criticism (2. 2). Also, the additional assumptions which save the Stapp 1 proof's validity are detailed (2. 3) and some new difficulties for the determinist are pointed out by exploiting a slightly extended version of the proof (2. 4). In providing this full analysis of the Stapp 1 proof, we also construct the necessary framework within which to provide a critique of Stapp 2's proof (3). *Portions of this paper were presented by R. K. Clifton to the 1988 British Society for the Philosophy of Science Conference at the University of Southampton. R. K. Clifton wishes to thank the Natural Sciences and Engineering Research Council of Canada, the Royal Commission for the Exhibition of 1851, and the Governing Body of Peterhouse at Cambridge University for support during this work. (shrink)

Our paper ‘A new cosmological argument’ gave an argument for the existence of God making use of the weak Principle of Sufficient Reason (W-PSR) which states that for every proposition p, if p is true, then it is possible that there is an explanation for p. Recently, Graham Oppy, as well as Kevin Davey and Rob Clifton, have criticized the argument. We reply to these criticisms. The most interesting kind of criticism in both papers alleges that the W-PSR can (...) be justifiably denied by the atheist, and constitutes no improvement on the strong Principle of Sufficient Reason (S-PSR) which claims that every true proposition in fact has an explanation. The criticism is predicated on the fact that it can be shown that the W-PSR entails the S-PSR. We argue that the W-PSR's plausibility remains despite the criticisms. From this it can be seen to follow that the entailment relation between the W-PSR and the S-PSR gives one reason to believe the S-PSR. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e (...) alone. In this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

The Bell–Kochen–Specker theorem shows that, in any Hilbert space of dimension of at least 3, it is impossible to assign noncontextual definite values to all observables in such a way that the quantum-mechanical predictions are reproduced. This leaves open the issue of what subsets of observables may be assigned definite values. Clifton has shown that, for a system of at least two continuous degrees of freedom, it is not possible to assign simultaneous noncontextual values to two coordinates and their (...) conjugate momenta. In this Letter, it is shown that, for a system of a single continuous degree of freedom, it is not possible to assign noncontextual values to the coordinate and its conjugate momenta that satisfy a continuity assumption herein called the ‘ -Product Rule’.  2002 Elsevier Science B.V. All rights reserved. (shrink)

The larval arms of echinoid plutei are used for locomotion and feeding. They are composed of internal calcite skeletal rods covered by an ectoderm layer bearing a ciliary band. Skeletogenesis includes an autonomous molecular differentiation program in primary mesenchyme cells (PMCs), initiated when PMCs leave the vegetal plate for the blastocoel, and a patterning of the differentiated skeletal units that requires molecular cues from the overlaying ectoderm. The arms represent a larval feature that arose in the echinoid lineage during the (...) Paleozoic and offers a subject for the study of gene co-option in the evolution of novel larval features. We isolated new molecular markers in two closely related but differently developing species, Heliocidaris tuberculata and Heliocidaris erythrogramma. We report the expression of a larval arm-associated ectoderm gene tetraspanin, as well as two new PMC markers, advillin and carbonic anhydrase. Tetraspanin localizes to the animal half of blastula stage H. tuberculata and then undergoes a restriction into the putative oral ectoderm and future location of the postoral arms, where it continues to be expressed at the leading edge of both the postoral and anterolateral arms. In H. erythrogramma, its expression initiates in the animal half of blastulae and expands over the entire ectoderm from gastrulation onward. Advillin and carbonic anhydrase are upregulated in the PMCs postgastrulation and localized to the leading edge of the growing larval arms of H. tuberculata but do not exhibit coordinated expression in H. erythrogramma larvae. The tight spatiotemporal regulation of these genes in H. tuberculata along with other ontogenetic and phylogenetic evidence suggest that pluteus arms are novel larval organs, distinguishable from the processes of skeletogenesis per se. The dissociation of expression control in H. erythrogramma suggest that coordinate gene expression in H. tuberculata evolved as part of the evolution of pluteus arms, and is not required for larval or adult development. (shrink)

The psalmist is deeply convinced that God is a reliable addressee to whom those hurt, traumatised and grieving may turn. Churches, by their mandate to share God's loving-kindness, are obliged to provide opportunities, counselling and pastoral care to those who suffer from violations in their lives. Representatives of the church will do so by proclaiming God's compassion and pitifulness. This obligation is all the more important as it can be observed that Christians, congregations and churches have oftentimes been part and (...) parcel of processes that caused harm, hurt and trauma to their members or other people. (shrink)

The origin of marine invertebrate larvae has been an area of controversy in developmental evolution for over a century. Here, we address the question of whether a pelagic “larval” or benthic “adult” morphology originated first in metazoan lineages by testing the hypothesis that particular gene co-option patterns will be associated with the origin of feeding, indirect developing larval forms. Empirical evidence bearing on this hypothesis is derivable from gene expression studies of the sea urchin larval gut of two closely related (...) but differently developing congenerics, Heliocidaris tuberculata (feeding indirect-developing larva) and H. erythrogramma (nonfeeding direct developer), given two subsidiary hypotheses. (1) If larval gut gene expression in H. tuberculata was co-opted from an ancestral adult expression pattern, then the gut expression pattern will remain in adult H. erythrogramma despite its direct development. (2) Genes expressed in the larval gut of H. tuberculata will not have a coordinated expression pattern in H. erythrogramma larvae due to loss of a functional gut. Five structural genes expressed in the invaginating archenteron of H. tuberculata during gastrulation exhibit substantially different expression patterns in H. erythrogramma with only one remaining endoderm specific. Expression of these genes in the adult of H. erythrogramma and larval gut of H. tuberculata, but not in H. erythrogramma larval endoderm, supports the hypothesis that they first played roles in the formation of adult structures and were subsequently recruited into larval ontogeny during the origin and evolution of feeding planktotrophic deuterostome larvae. (shrink)

The study of law and politics is one of the foundation stones of the discipline of political science, and it has been one of the productive areas of cross-fertilization between the various subfields of political science and between political science and other cognate disciplines. This Handbook provides a comprehensive survey of the field of law and politics in all its diversity, ranging from such traditional subjects as theories of jurisprudence, constitutionalism, judicial politics and law-and-society to such re-emerging subjects as comparative (...) judicial politics, international law, and democratization. The Oxford Handbook of Law and Politics gathers together leading scholars in the field to assess key literatures shaping the discipline today and to help set the direction of research in the decade ahead. (shrink)

R. A. Sharpe; VIII*—Art and Expertise, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 133–148, https://doi.org/10.1093/aristote.

This article draws on scientific explanations of obesity to motivate the creation of a system of paternalistic public health interventions into the obesity epidemic. Libertarian paternalists argue that paternalism is warranted in light of the cognitive limits of human decision-making abilities. There are further, specific biological limits on our capacity to choose and maintain a healthy diet. These biological facts strengthen the general motivation for libertarian paternalism. As a consequence, the creation of a system of paternalistic public health interventions into (...) the obesity epidemic is warranted. (shrink)

Objectives: This study was designed to explore the prevalence and types of stipulations required of investigators by the institutional review board of one institution over a five year period.Design: Stipulations to research proposals were documented from the minutes of the IRB meetings.Setting: Community hospital.Participants: IRB submissions.Main measurements: Number and type of IRB stipulations.Results: Nineteen research submissions were approved without any stipulations. For the remainder, the majority of stipulations related to consent forms .Conclusions: Consent forms appear to be at highest risk (...) for IRB stipulations. Being aware of high risk areas before submission of research proposals may reduce the frequency of stipulations required of investigators. (shrink)

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)